Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools
نویسندگان
چکیده
Abstract Modern engineering systems include many components of different types and functions. Verifying that these satisfy given specifications can be an arduous task, as most formal verification methods are limited to moderate size. Recently, contract theory has been proposed a modular framework for defining specifications. In this paper, we present discrete-time dynamical control relying on assume/guarantee contracts, which prescribe assumptions the input system guarantees output. We then focus contracts defined by linear constraints, develop efficient computational tools satisfaction refinement based programming. exemplify in simulation example, proving certain safety specification two-vehicle autonomous driving setting.
منابع مشابه
Automatic Differentiation Tools in Computational Dynamical Systems
In this paper we describe a unified framework for the computation of power series expansions of invariant manifolds and normal forms of vector fields, and estimate the computational cost when applied to simple models. By simple we mean that the model can be written using a finite sequence of compositions of arithmetic operations and elementary functions. In this case, the tools of Automatic Dif...
متن کاملobservational dynamical systems
چکیده در این پایاننامه ابتدا فضاهای متریک فازی را به صورت مشاهدهگرایانه بررسی میکنیم. فضاهای متریک فازی و توپولوژی تولید شده توسط این متریک معرفی شدهاند. سپس بر اساس فضاهایی که در فصل اول معرفی شدهاند آشوب توپولوژیکی، مینیمالیتی و مجموعههای متقاطع در شیوههای مختلف بررسی شده- اند. در فصل سوم مفهوم مجموعههای جاذب فازی به عنوان یک مفهوم پایهای در سیستمهای نیم-دینامیکی نسبی، تعریف شده است. ...
15 صفحه اولjordan c-dynamical systems
in the first chapter we study the necessary background of structure of commutators of operators and show what the commutator of two operators on a separable hilbert space looks like. in the second chapter we study basic property of jb and jb-algebras, jc and jc-algebras. the purpose of this chapter is to describe derivations of reversible jc-algebras in term of derivations of b (h) which are we...
15 صفحه اولProperty (T) for C*-dynamical systems
In this paper, we introduce a notion of property (T) for a C<span style="font-family: txsy; font-size: 7pt; color: #000000; font-style: norm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2021
ISSN: ['2405-8963', '2405-8971']
DOI: https://doi.org/10.1016/j.ifacol.2021.08.469